TDM is dead. Long live TCI!

The TPP Is Dead, Long Live the TPP? A Response to Recent Commentaries

Distance Is Dead , Long Live Distance

For many educators, the phrase ‘from distance education to e-learning’ conjures up the view of an ‘evolutionary’ progression beginning with correspondence study and developed through more sophisticated technologies to its current identification with computers, the Internet, and the World Wide Web. For others, particularly those with little knowledge or experience of (and often equally little in...

KASLR is Dead: Long Live KASLR

Modern operating system kernels employ address space layout randomization (ASLR) to prevent control-flow hijacking attacks and code-injection attacks. While kernel security relies fundamentally on preventing access to address information, recent attacks have shown that the hardware directly leaks this information. Strictly splitting kernel space and user space has recently been proposed as a th...

Comparative Psychology Is Dead! Long Live Comparative Psychology

The study of behavior of nonhuman organisms is today, as it has been for a century, a vital and active area within psychology. Comparative psychology is, therefore, by definition, alive and well. The recent resurgence in interest in evolutionary and ecological approaches to the study of comparative psychology reflects developments in ethology, sociobiology, and behavioral ecology. The ability o...

Rank Logic is Dead, Long Live Rank Logic!

Motivated by the search for a logic for polynomial time, we study rank logic (FPR) which extends fixed-point logic with counting (FPC) by operators that determine the rank of matrices over finite fields. While FPR can express most of the known queries that separate FPC from Ptime, nearly nothing was known about the limitations of its expressive power. In our first main result we show that the e...